def beta[A]: F ~> (A => ?)